Add Github CI #19
Add Github CI #19
Conversation
.github/workflows/run-litmus.yml
Outdated
| - name: Run litmus tests via CLI | ||
| run: ./cli/build/bin/linuxX64/releaseExecutable/cli.kexe -r pthread ".*" | ||
| - name: Run a single test with JCStress | ||
| run: ./gradlew :cli:jvmRun --args="-r jcstress -j '-m quick' StoreBuffering.Plain" |
There was a problem hiding this comment.
Discussed this on a meeting.
The problem is that apparently there is no option in jcstress to control the duration of testing, except the -m (mode) option. But, event with -m quick all the tests that we have now are run ~30mins, which is too long.
The purpose of our local CI is to run "smoke-tests" of the litmuskt tool itself (i.e. to quickly check the basic functionality of the tool), and not to exhaustively test the Kotlin compiler.
Therefore, it was decided to run just a single jcstress test on CI, only to check that the jcstress integration works.
There was a problem hiding this comment.
@DLochmelis33 could you please add the info from the comment above to the code.
After this we can merge this PR.
|
Added the comment, decided to let JCStress run all tests, found a couple of bugs, fixed them |
The current CI fails on MacOS because of the new UPUB bug